Promote to main: English integration ledger docs#72
Merged
Conversation
PLAN.md (integration workflow, automation pipeline, review allocation) and WORKLIST.md (audit results + live construction ledger) move onto the trunk so the ledger sits with the work. Content from the closed PR #60 docs branch, re-based onto current develop to avoid the stale-base deletions (that branch predated the #65 merge).
PLAN.md and WORKLIST.md → English to match the public repo's language (CONVENTIONS / NAMING_CONVENTION / REFACTOR_PLAYBOOK are English). Folds in the corrections established since: single **Math.** anchor docstrings (not Math./Eng. dual), namespace Manifold per domain-namespace convention, issue #61 as the discussion venue. Audit tables and item counts unchanged (high 52 / medium 101 / skip 186).
Xinze-Li-Moqian
added a commit
that referenced
this pull request
Jun 14, 2026
Mathlib.Geometry.Manifold.ContMDiff.Atlas was unused; shake baseline is 38 and the new domain pushed it to 39, failing CI on the #72 main merge. Carried over from the original port; build + linters unaffected.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
develop → main 晋升,仅文档:把 SmoothManifoldsLee 整合台账(
docs/log/2026-06-12-smooth-manifolds-lee/PLAN.md+WORKLIST.md)译成英文,与公开仓库其余文档(CONVENTIONS / NAMING_CONVENTION / REFACTOR_PLAYBOOK)语言一致。无代码改动。